Tootfinder

The Complexity of the Set of Validities of a Theory
Denis Hirschfeldt, Henry Towsner, Scott Weinstein
https://arxiv.org/abs/2506.08901 https://

The Complexity of the Set of Validities of a Theory
We study the collection of first-order logical schemata all of whose instances are theorems of a given theory $T$; we call these the validities of $T$ ($\mathsf{V}(T)$). It is easy to see that if $T$ is a decidable theory, then $\mathsf{V}(T)$ is distinct from the set of valid formulas of first-order logic as customarily understood. We provide a complete model-theoretic characterization of the complexity, in the sense of Turing degree, of $\mathsf{V}(T)$ for decidable theories $T$, and answer a…

Ein paar Gedanken zu großen Rädern, kleinen Rahmen und wie das auf kleinere Radfahrer*innen, meistens Frauen wirkt.
Werden Fahrradkonzepte zu sehr aus männlicher Perspektive gedacht?
https://pixel.tchncs.de/p/Thijs_Lucas/846449240282449377

On Modular Edge Colourings of Graphs
Ga\'etan Berthe, Marthe Bonamy, F\'abio Botler, Gaia Carenini, Lucas Colucci, Arthur Dumas, Fatemeh Ghasemi, Pedro Mariano Viana Neto
https://arxiv.org/abs/2507.04254

On Modular Edge Colourings of Graphs
Given a graph $G$ and an integer $k\geq 2$, let $χ'_k(G)$ denote the minimum number of colours required to colour the edges of $G$ such that, in each colour class, the subgraph induced by the edges of that colour has all non-zero degrees congruent to $1$ modulo $k$. In 1992, Pyber proved that $χ'_2(G) \leq 4$ for every graph $G$, and posed the question of whether $χ'_k(G)$ can be bounded solely in terms of $k$ for every $k\geq 3$. This question was answered in 1997 by Scott, who showed that …

Brill--Noether loci in genus $\leq 12$
Richard Haburcak
https://arxiv.org/abs/2507.04902 https://arxiv.org/pdf/2507.04902

Brill--Noether loci in genus $\leq 12$
A refined Brill--Noether theory seeks to determine which linear series are admitted by a ``general'' curve in a particular Brill--Noether locus. However, as Brill--Noether loci are not irreducible in general, a coarse answer is given by the relative positions of Brill--Noether loci. Via an analysis of unstable Lazarsfeld--Mukai bundles on K3 surfaces, we distinguish Brill--Noether loci and provide expectations for the relative positions of Brill--Noether loci in general. Together with classical…

Korrupte Deals im Wahlkreis vergeben, Grenzschutz für rechtswidrige Angriffe auf die Justiz missbrauchen, #schwarzerFilz und Rechtspopulismus leben und nicht zurücktreten, das ist eine #Machtdemonstration.
Es ist das arrogante und gesellschaftsfeindliche Signal an die Bevölkerung,…

@… Maybe you can share this, or if you have an answer, share it?
https://mastodon.gamedev.place/@jbqueru/114597778380655029

Fuck Liz Truss
https://www.instagram.com/p/DKWtxobNcx_/

Christian Stöcker on Instagram: "Quiz Questions: Who wrote this deranged but familiar sounding treatise about a „globalist“ (read: Jewish) conspiracy that „hates western civilization“ and is trying to take over the world? I‘ll give you a second to think about it. The answer is: @trussliz, the former (salad survival length) Prime Minister of the UK. The (very real) international conspiracy of far right pro fossil fuel crazies is taking root everywhere. It showed its face at #CPAC. These people want what #Trump does, but everywhere."
22 likes, 0 comments - chrisstoecker on June 1, 2025: "Quiz Questions: Who wrote this deranged but familiar sounding treatise about a „globalist“ (read: Jewish) conspiracy that „hates western civilization“ and is trying to take over the world? I‘ll give you a second to think about it. The answer is: @trussliz, the former (salad survival length) Prime Minister of the UK. The (very real) international conspiracy of far right pro fossil fuel crazies is taking root everywhere. It showe…

Ich schäme mich für die Bundesregierung, dass sie Europa angreift und die Grenzen für ihren rein rechtspopulstischen und damit wirkungslosen Kurs. Was #Merz, #Dobrindt und #Klingbeil an deutschen Grenzen abzi…

Die #CDU ist und bleibt der Feind und agitiert immer unverhohlener gegen queeres Leben in Deutschland.
#fckCDU
https://www.

WTF Brandenburg on Instagram: "Ralf Lehmann (CDU, Bürgermeister Bad Freienwalde) zitiert von Olaf Sundermeyer (rbb) im radioens Interview, 16.06.2025: „Die Sache wird von den Medien aufgebauscht, es hat keinen Angriff gegeben, sondern eine Störaktion, die von Teilnehmern der Veranstaltung unterbrochen wurde.“ Ralf ist gestern nicht zum Tatort gekommen. Hier anhören: https://www.radioeins.de/programm/sendungen/mofr1013/_/angriff-familienfest-bad-freienwalde-ist-bunt.html Quelle: rbb radioeins, Olaf Sundermeyer. @bad_freienwalde_ist_bunt #badfreienwaldeistbunt"
218 likes, 24 comments - wtfbrandenburg on June 16, 2025: "Ralf Lehmann (CDU, Bürgermeister Bad Freienwalde) zitiert von Olaf Sundermeyer (rbb) im radioens Interview, 16.06.2025: „Die Sache wird von den Medien aufgebauscht, es hat keinen Angriff gegeben, sondern eine Störaktion, die von Teilnehmern der Veranstaltung unterbrochen wurde.“ Ralf ist gestern nicht zum Tatort gekommen. Hier anhören: https://www.radioeins.de/programm/sendungen/mofr1013/_/angriff-familienfest-bad-freienwalde…

"Es ist höchste Zeit, dass sich deutsche Wissenschaftsinstitutionen nicht nur mit Solidaritätsbekundungen an die USA wenden, sondern sich auch gegen die wachsende Bedrohung für Wissenschaft und Demokratie in Deutschland positionieren."
"Überpolitisierung im Namen der Depolitisierung ist das Programm, mit dem die Wissenschaft nach rechtsextremer Façon umgeformt wird."
Andreas #FischerLescano

Wer die Wissenschaft schützen will, muss die AfD verbieten
Die Angriffe auf Universitäten in den USA sind ein Warnsignal. Während deutsche Forschungsorganisationen noch Solidaritätsbekundungen formulieren, bläst die AfD zu ihrem eigenen Feldzug gegen die freie Wissenschaft. Zeit zum Handeln. Ein Gastbeitrag von Andreas Fischer-Lescano.